Solving The Mergesort Recurrence